
#include"stdio.h"

void jxos_prepare_to_run(void)
{
	printf("jxos_prepare_to_run\r\n");
}
